void say_hello() {
    return;
}